Cooperative Empirical Failure Avoidance for Multithreaded Programs Brandon Lucia and Luis Ceze {blucia0a,luisceze}@cs.washington.edu University of Washington, Department of Computer Science and Engineering http://sampa.c

Source URL: homes.cs.washington.edu

• Software engineering
• Failure
• Materials science
• Reliability engineering
• Software quality
• Survival analysis
• Parallel computing
• Thread
• Design closure
• Design
• Concurrency control
• Electronic engineering

A Concurrency Control Protocol for Continuously Monitoring Moving Objects

Source URL: europa.nvc.cs.vt.edu

Transactions and Concurrency Control • Transaction: a unit of program execution that accesses and possibly updates some data items. • A transaction is a collection of operations that logically form a single unit. •

Source URL: homepages.inf.ed.ac.uk

C3: Concurrency Control on Continuous Queries over Moving Objects Jing Dai, Chang-Tien Lu Virginia Polytechnic Institute and State University 7054 Haycock Road, Falls Church, VA 22043 {daij, ctlu}@vt.edu

Source URL: europa.nvc.cs.vt.edu

Spatial-Behavioral Types for Concurrency and Resource Control in Distributed Systems Lu´ıs Caires CITI / Departamento de Inform´ atica, Universidade Nova de Lisboa, Portugal

Source URL: ctp.di.fct.unl.pt

Promise Pipelining: Decentralized concurrency control under mutual suspicion Mark S. Miller Virus-Safe Computing Project

Source URL: www.cypherpunks.to

S. Bodker, M. Kyng, and K. Schmidt (eds.)- Proceedings of the Sixth European Conference on Computer-Supported Cooperative Work, 12-16 September 1999, Copenhagen, Denmark ©1999 Kluwer Academic Publishers. Printed in the

Source URL: www.ecscw.org

• Concurrency control
• Database management systems
• Data management
• Transaction processing
• Databases
• Lock
• Database
• Communications protocol
• Ring
• Computing
• Data
• Information

European Cooperation in Science and Technology - COST —————————— Secretariat -------

Source URL: w3.cost.eu

• Data management
• Concurrent computing
• Software transactional memory
• Transactional memory
• Parallel computing
• Multi-core processor
• Lock
• Cloud computing
• Distributed computing
• Concurrency control
• Transaction processing
• Computing

MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Spring 2006 Quiz #5: May 12, 2006 Name

Source URL: 6004.csail.mit.edu

• Semaphore
• Concurrency control
• Lock
• Central processing unit

Experience with Processes and Monitors in Mesa1 Butler W. Lampson Xerox Palo Alto Research Center David D. Redell Xerox Business Systems

Source URL: www.scs.stanford.edu

• Computer programming
• Monitor
• Concurrent Pascal
• Lock
• Deadlock
• Mutual exclusion
• Mesa
• Semaphore
• Parallel computing
• Concurrency control
• Computing
• Software engineering